31![Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen](https://www.pdfsearch.io/img/877908c7c27d9ad95805259a7126fb27.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
32![ADT: Site Search Version 1.0 Functional Specification Author Version ADT: Site Search Version 1.0 Functional Specification Author Version](https://www.pdfsearch.io/img/ba762a0ddb4f36f204a61ab7f9ffb456.jpg) | Add to Reading ListSource URL: www.extropia.comLanguage: English - Date: 2003-08-09 07:27:22
|
---|
33![Software Requirements, Third Edition Software Requirements, Third Edition](https://www.pdfsearch.io/img/d5d5680545d87f533a249f4b12ac8c47.jpg) | Add to Reading ListSource URL: www.processimpact.comLanguage: English - Date: 2013-08-01 10:45:11
|
---|
34![Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France.](https://www.pdfsearch.io/img/3c877adfd34d19001ade621579a4d09c.jpg) | Add to Reading ListSource URL: rodin.cs.ncl.ac.ukLanguage: English - Date: 2007-08-14 07:19:44
|
---|
35![ADT: Expense Tracker Version 1.0 Functional Specification Author Version ADT: Expense Tracker Version 1.0 Functional Specification Author Version](https://www.pdfsearch.io/img/c80b97e5db07bdff622b93ad9538e220.jpg) | Add to Reading ListSource URL: www.extropia.comLanguage: English - Date: 2003-08-09 07:27:14
|
---|
36![XML Subtree Queries: Specification and Composition Michael Benedikt and Irini Fundulaki Bell Labs, Lucent Technologies, USA Abstract. A frequent task encountered in XML processing is to filter an input document to produ XML Subtree Queries: Specification and Composition Michael Benedikt and Irini Fundulaki Bell Labs, Lucent Technologies, USA Abstract. A frequent task encountered in XML processing is to filter an input document to produ](https://www.pdfsearch.io/img/b160bad31858fc2f66a738f3753ec9f5.jpg) | Add to Reading ListSource URL: users.ics.forth.grLanguage: English - Date: 2010-09-29 11:43:00
|
---|
37![ADT: Address Book Version 1.0 Functional Specification Author Version ADT: Address Book Version 1.0 Functional Specification Author Version](https://www.pdfsearch.io/img/397a656de32c40a529110cb775ca7d96.jpg) | Add to Reading ListSource URL: www.extropia.comLanguage: English - Date: 2003-08-09 07:27:10
|
---|
38![A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve](https://www.pdfsearch.io/img/8c391102c473d6a2896b38f8d78732f2.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:39
|
---|
39![Instrument: Collaborative Project (STREP) Call Identifier: FP7-ICT2013-10 Grant Agreement: WP2 – DESIGN – Design and specification Instrument: Collaborative Project (STREP) Call Identifier: FP7-ICT2013-10 Grant Agreement: WP2 – DESIGN – Design and specification](https://www.pdfsearch.io/img/17e2f2b6f81a99d71c16716efbf83996.jpg) | Add to Reading ListSource URL: www.mediascapeproject.euLanguage: English - Date: 2015-11-19 10:33:21
|
---|
40![The F# 2.0 Language Specification Note: This documentation is the specification of the 2.0 release of F# made by Microsoft Research and the Microsoft Developer Division in AprilDiscrepancies may exist between this The F# 2.0 Language Specification Note: This documentation is the specification of the 2.0 release of F# made by Microsoft Research and the Microsoft Developer Division in AprilDiscrepancies may exist between this](https://www.pdfsearch.io/img/02380a9a16ec59f8379a5888adb60e44.jpg) | Add to Reading ListSource URL: fsharp.orgLanguage: English - Date: 2016-08-15 16:34:27
|
---|